irreducible inclusion